Adwaita: fix a thinko wrt fine-tune scales
authorLapo Calamandrei <calamandrei@gmail.com>
Fri, 4 Mar 2016 17:36:36 +0000 (18:36 +0100)
committerLapo Calamandrei <calamandrei@gmail.com>
Fri, 4 Mar 2016 17:36:36 +0000 (18:36 +0100)
added a scale node padding compensation for the trough growth in
fine-tune mode, so now the scale node doesn't grow anymore when
mark labels are present.

gtk/theme/Adwaita/_common.scss
gtk/theme/Adwaita/gtk-contained-dark.css
gtk/theme/Adwaita/gtk-contained.css

index b5c5fcdf7f91897b274e8ad1bc6151ecf48ef921..2c540db03423ac16b17d6d603a7d1412a0fa776e 100644 (file)
@@ -2516,6 +2516,16 @@ scale {
   }
 
   &.fine-tune {
+    &.horizontal {
+      padding-top: 10px;
+      padding-bottom: 10px;
+    }
+
+    &.vertical {
+      padding-left: 10px;
+      padding-right: 10px;
+    }
+
     slider { margin: -6px; }
 
     fill,
@@ -2630,7 +2640,6 @@ scale {
       }
     }
   }
-
   &.horizontal {
     indicator {
       min-height: $_marks_lenght;
@@ -2645,7 +2654,6 @@ scale {
     }
     &.fine-tune indicator { min-width: ($_marks_lenght - 2px); }
   }
-
   // *WARNING* scale with marks madness following
 
   // FIXME: OSD and selected list rows missing, I don't feel like adding the other 144 assets needed for those...
index daf4a793b779dbdcb69e21303add1c8576a7e125..2f89b759a4ec3a92749104daf7029097c1a834e1 100644 (file)
@@ -2615,6 +2615,12 @@ scale {
     min-height: 18px;
     min-width: 18px;
     margin: -8px; }
+  scale.fine-tune.horizontal {
+    padding-top: 10px;
+    padding-bottom: 10px; }
+  scale.fine-tune.vertical {
+    padding-left: 10px;
+    padding-right: 10px; }
   scale.fine-tune slider {
     margin: -6px; }
   scale.fine-tune fill,
index 3d5324a6499d6da53373fb0c766fda4d4bc3e8a8..17a373c062be0e6fef570e0581bfecb7d1a13fe2 100644 (file)
@@ -2646,6 +2646,12 @@ scale {
     min-height: 18px;
     min-width: 18px;
     margin: -8px; }
+  scale.fine-tune.horizontal {
+    padding-top: 10px;
+    padding-bottom: 10px; }
+  scale.fine-tune.vertical {
+    padding-left: 10px;
+    padding-right: 10px; }
   scale.fine-tune slider {
     margin: -6px; }
   scale.fine-tune fill,